constructive existence proof